Comparator: Placebo to efavirenz